D. Mundici: шукати на сайті Z-Library

Рік:

2006

Мова:

english

Файл:

PDF, 232 KB

english, 2006

Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus

Journal of Functional Analysis

Журнал:

Рік:

1986

Мова:

english

Файл:

PDF, 2.46 MB

english, 1986

De Finetti theorem and Borel states in [0, 1]-valued algebraic logic

Jan Kühr, Daniele Mundici

Журнал:

International Journal of Approximate Reasoning

Рік:

2007

Мова:

english

Файл:

PDF, 207 KB

english, 2007

Paraconsistent Logics and Translations

Costas Drossos, Daniele Mundici

Журнал:

Synthese

Рік:

2000

Мова:

english

Файл:

PDF, 91 KB

english, 2000

Duality Between Logics and Equivalence Relations

Журнал:

Рік:

1982

Мова:

english

Файл:

PDF, 2.02 MB

english, 1982

Mapping abelian l-groups with strong unit one-one into MV algebras

Журнал:

Jurek Czyzowicz, Daniele Mundici, Andrzej Pelc

Рік:

1986

Мова:

english

Файл:

PDF, 296 KB

english, 1986

Ulam's searching game with lies

Журнал:

Journal of Combinatorial Theory, Series A

Рік:

1989

Мова:

english

Файл:

PDF, 644 KB

english, 1989

Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity

Журнал:

Рік:

1984

Мова:

english

Файл:

PDF, 602 KB

english, 1984

Interpretation of De Finetti coherence criterion in Łukasiewicz Logic

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 715 KB

english, 2009

Robinson's Consistency Theorem in Soft Model Theory

Журнал:

Рік:

1981

Мова:

english

Файл:

PDF, 1.42 MB

english, 1981

Simple Bratteli Diagrams with a Gödel-Incomplete C*-Equivalence Problem

Журнал:

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Рік:

2004

Мова:

english

Файл:

PDF, 1.55 MB

english, 2004

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The even more liberalized δ-rule in free variable Semantic Tableaux

Рік:

1993

Мова:

english

Файл:

PDF, 513 KB

english, 1993

Recognizing free generating sets of $$\ell $$ℓ-groups

Журнал:

Algebra Universalis

Рік:

2018

Мова:

english

Файл:

PDF, 518 KB

english, 2018

Applications of Many-Sorted Robinson Consistency Theorem

Mathematical Logic Quarterly

Журнал:

Рік:

1981

Мова:

english

Файл:

PDF, 489 KB

english, 1981

Reconstructing C*-Algebras from Their Murray von Neumann Orders

R. Cignoli, G.A. Elliott, D. Mundici

Журнал:

Advances in Mathematics

Рік:

1993

Файл:

PDF, 630 KB

1993

Classes of Ultrasimplicial Lattice-Ordered Abelian Groups

Журнал:

Joan Gispert i Brasó, Daniele Mundici, Antoni Torrens Torrell

Рік:

1999

Мова:

english

Файл:

PDF, 71 KB

english, 1999

Ultraproducts of Z with an Application to Many-Valued Logics

Журнал:

Journal of Functional Analysis

Рік:

1999

Мова:

english

Файл:

PDF, 140 KB

english, 1999

Extending Addition in Elliott′s Local Semigroup

D. Mundici, G. Panti

Журнал:

Рік:

1993

Файл:

PDF, 450 KB

1993

Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C∗-algebras

Журнал:

Advances in Mathematics

Рік:

1988

Мова:

english

Файл:

PDF, 770 KB

english, 1988

Compactness, interpolation and Friedman's third problem

Annals of Mathematical Logic

Журнал:

Рік:

1982

Мова:

english

Файл:

PDF, 837 KB

english, 1982

Every abelian l-group with two positive generators is ultrasimplicial

Журнал:

Рік:

1987

Мова:

english

Файл:

PDF, 259 KB

english, 1987

Free products in the category of abelian l-groups with strong unit

Журнал:

Jurek Czyzowicz, Andrzej Pelc, Daniele Mundici

Рік:

1988

Мова:

english

Файл:

PDF, 1.01 MB

english, 1988

Solution of Ulam's problem on binary search with two lies

Журнал:

Journal of Combinatorial Theory, Series A

Рік:

1988

Мова:

english

Файл:

PDF, 266 KB

english, 1988

Solution of Rota's problem on the order of series — Parallel networks

Advances in Applied Mathematics

Журнал:

Рік:

1991

Мова:

english

Файл:

PDF, 423 KB

english, 1991

Stone duality for Dedekind σ-complete ℓ-groups with order-unit

Roberto Cignoli, Daniele Mundici

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 163 KB

english, 2006

Free generating sets of lattice-ordered abelian groups

Journal of Pure and Applied Algebra

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 168 KB

english, 2007

From free abelian groups to free abelianℓ-groups

Jan Kühr, Daniele Mundici

Журнал:

Mathematica Slovaca

Рік:

2011

Мова:

english

Файл:

PDF, 219 KB

english, 2011

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

Roberto Cignoli, Daniele Mundici

Журнал:

Studia Logica

Рік:

1998

Файл:

PDF, 651 KB

1998

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Ultrafilter logic and generic reasoning

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Рік:

1997

Мова:

english

Файл:

PDF, 1.41 MB

english, 1997

Finitely presented lattice-ordered abelian groups with order-unit

Leonardo Cabrer, Daniele Mundici

Журнал:

Aguzzoli, S., Mundici, D.

Рік:

2011

Мова:

english

Файл:

PDF, 191 KB

english, 2011

[IEEE 31st IEEE International Symposium on Multiple-Valued Logic - Warsaw, Poland (22-24 May 2001)] Proceedings 31st IEEE International Symposium on Multiple-Valued Logic - Weierstrass approximations by Lukasiewicz formulas with one quantified variable

Рік:

2001

Мова:

english

Файл:

PDF, 548 KB

english, 2001

Gödel incompleteness in AF C*-algebras

Mundici, Daniele, Tsinakis, Constantine

Журнал:

Forum Mathematicum

Рік:

2008

Мова:

english

Файл:

PDF, 173 KB

english, 2008

An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem

Journal of Symbolic Logic

Журнал:

Рік:

1981

Мова:

english

Файл:

PDF, 559 KB

english, 1981

Advanced Łukasiewicz calculus and MV-algebras || The Spectral and the Maximal Spectral Space

Mundici, D.

Рік:

2011

Мова:

english

Файл:

PDF, 184 KB

english, 2011

Inverse topological systems and compactness in abstract model theory

Journal of Symbolic Logic

Журнал:

Рік:

1986

Мова:

english

Файл:

PDF, 770 KB

english, 1986

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The logic of the Gödel proof predicate

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Рік:

1993

Мова:

english

Файл:

PDF, 561 KB

english, 1993

Selected Papers in Honour of Ettore Casari || Preface

Maria Luisa Dalla Chiara and Daniele Mundici

Журнал:

Studia Logica

Рік:

1999

Мова:

english

Файл:

PDF, 484 KB

english, 1999

10.1090/s0002-9947-03-03353-1

Журнал:

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Рік:

2004

Мова:

english

Файл:

PDF, 310 KB

english, 2004

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Committed-choice concurrent logic programming in linear logic

Рік:

1993

Мова:

english

Файл:

PDF, 611 KB

english, 1993

Word problems in Elliott monoids

Журнал:

Advances in Mathematics

Рік:

2018

Мова:

english

Файл:

PDF, 930 KB

english, 2018

Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras

Advances in Applied Mathematics

Журнал:

Рік:

1999

Мова:

english

Файл:

PDF, 159 KB

english, 1999

Perfect Two-Fault Tolerant Search with Minimum Adaptiveness

Ferdinando Cicalese, Daniele Mundici

Журнал:

Advances in Applied Mathematics

Рік:

2000

Мова:

english

Файл:

PDF, 256 KB

english, 2000

Geometry of Robinson consistency in Łukasiewicz logic

Manuela Busaniche, Daniele Mundici

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 472 KB

english, 2007

Bookmaking over infinite-valued events

International Journal of Approximate Reasoning

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 260 KB

english, 2006

Extending Stone duality to multisets and locally finite MV-algebras

Roberto Cignoli, Eduardo J. Dubuc, Daniele Mundici

Журнал:

Journal of Pure and Applied Algebra

Рік:

2004

Мова:

english

Файл:

PDF, 351 KB

english, 2004

Revisiting the free 2-generator abelian -group

Journal of Pure and Applied Algebra

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 231 KB

english, 2007

Preface

Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro

Журнал:

Discrete Applied Mathematics

Рік:

2004

Мова:

english

Файл:

PDF, 133 KB

english, 2004

Decidable and undecidable prime theories in infinite-valued logic

Daniele Mundici, Giovanni Panti

Журнал:

Maurice Boffa, Annalisa Marcja, Daniele Mundici

Рік:

2001

Мова:

english

Файл:

PDF, 106 KB

english, 2001

Preface

Журнал: